Need to reset device model pid on reboot
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 11 Aug 2005 21:04:17 +0000 (21:04 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 11 Aug 2005 21:04:17 +0000 (21:04 +0000)
commit66c1bb81a139956857168af4d7269ef92daf045c
tree5dc19e3c5ef78354d09f7735e0370e8ef5dcdbad
parentca21e61a00c864f707a7d077a23c234b1cf6c41a
Need to reset device model pid on reboot

Without this, xend will not spawn a new device model process after the reboot.

Signed-off-by: Ke Yu <ke.yu@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
tools/python/xen/xend/XendDomainInfo.py